منابع مشابه
Cocktail II
Cocktail II (a further development of Cocktail) is an interactive tool for deriving programs from specifications. Instead of verifying a program after it was constructed, Cocktail II aids the goal oriented derivation of a program. First, the user provides a preand postcondition. Then, the gap between these conditions is filled by manually inserting statements, constructing the program step by s...
متن کاملScintillation cocktail
The new Lcica RM 2165 automatic, heavy-duty microtome has an advanced step motor that permits an exact specimen feed and reproducible sectioning results. Features include 70 mm vertical stroke length, unique step trim function, and programmable specimen retraction. Technical features include a handwheel rocking sectioning mode; the motorized specimen feed can be linked to change the handwheel t...
متن کاملThrombotic cocktail in stroke.
A 35-year-old woman was admitted after a sudden left-arm deficit, which was preceded by 3 weeks of the same transient episodes lasting less than 5 minutes each. She was being treated for menorrhagia with tranexamic acid and was also using oral contraceptives. Three weeks before, she had a Mycoplasma pneumoniae respiratory infection. MRI showed a recent ischemia in the territories of the right m...
متن کاملThe Cocktail Party Problem
This review presents an overview of a challenging problem in auditory perception, the cocktail party phenomenon, the delineation of which goes back to a classic paper by Cherry in 1953. In this review, we address the following issues: (1) human auditory scene analysis, which is a general process carried out by the auditory system of a human listener; (2) insight into auditory perception, which ...
متن کاملCocktail Watermarking on Imagesy
A novel image protection scheme called \cocktail watermark-ing" is proposed in this paper. We analyze and point out the inadequacy of the modulation techniques commonly used in ordinary spread spectrum watermarking methods and the visual model-based ones. To resolve this inadequacy, two watermarks which play complementary roles are simultaneously embedded into a host image. The new watermark-in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1994
ISSN: 0028-0836,1476-4687
DOI: 10.1038/371446b0